formalities at the frontier